A Temporal Reasoning Approach of Communication Based Workflow Modelling
نویسندگان
چکیده
Implementation of formal techniques to aid the design and implementation of workflow management systems (WfMS) is still required. We believe that formal methods can be applied in the field of properties demonstration of a workflow specification. This paper develops a formalization of the workflow paradigm based on communication (speech-act theory) by using a temporal logic, namely, the Temporal Logic of Actions (TLA). This formalization provides the basic theoretical foundation for the automated demonstration of the properties of a workflow map, its simulation, and fine-tuning by managers.
منابع مشابه
Proposing a Formal Method for Workflow Modelling: Temporal Logic of Actions (TLA)
The study and implementation of formal techniques to aid the design and implementation of Workflow Management Systems (WfMS) is still required. Using these techniques, we can provide this technology with automated reasoning capacities, which are required for the automated demonstration of the properties that will verify a given model. This paper develops a formalization of the workflow paradigm...
متن کاملCommunication based workflow loop formalization using Temporal Logic of Actions (TLA)
The workflow map development for an organization is a highly complex process. Therefore, the workflow map should be tested and validated before it is implemented (into a WfMS). Most current workflow systems deal with this validation issue by using simulation modules that “execute” the model and examine the possible problems before it is truly “executed” and implemented. Although these simulatio...
متن کاملSTCS-GAF: Spatio-Temporal Compressive Sensing in Wireless Sensor Networks- A GAF-Based Approach
Routing and data aggregation are two important techniques for reducing communication cost of wireless sensor networks (WSNs). To minimize communication cost, routing methods can be merged with data aggregation techniques. Compressive sensing (CS) is one of the effective techniques for aggregating network data, which can reduce the cost of communication by reducing the amount of routed data to t...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملTemporal Consistency of View Based Interorganizational Workflows
Interorganizational workflows are a major step in automating B2B electronic commerce and to support collaborations of organizations on the technical level. Process views are an important conceptual modelling approach for interorganizational workflows as they allow interaction and communication while internal and private parts of the process can be hidden. However, it essential to guarantee that...
متن کامل